Partial Deductive Closure: Logical Simulation and Management Science
نویسندگان
چکیده
منابع مشابه
Partial Deductive Closure: Logical Simulation and Management Science
This research is part of a larger eeort to build machine-based tools for developing scientiic theories. In analogy with the research process in empirical research, we describe a logical cycle of theory development: (1) starting with an informal version of a theory, (2) then moving to its formal representation, (3) applying formal logic to investigate this representation, and (4) using the resul...
متن کامل?????? Partial Closure ????? ?? ????? ????? ? ??? ??? ?? ???????? ?? ????? ?????????
This article has no abstract.
متن کاملLogical and psychological analysis of deductive mastermind
The paper proposes a way to analyze logical reasoning in a deductive version of the Mastermind game implemented within the Math Garden educational system. Our main goal is to derive predictions about the cognitive difficulty of game-plays, e.g., the number of steps needed for solving the logical tasks or the working memory load. Our model is based on the analytic tableaux method, known from pro...
متن کاملA New Logical framework for Deductive Planning
In t.his pap~l' w~ P l'~SPllt. a lop;ira.J fra.IIlPwork for d~filling collsist.ellt axiomat.izat.ions of plallllillg doma.ills. A lallglla.ge to defiIle hasic actiollS alld stl'lIctmed plans is emhedded ill n. logic. Tlti~ allows g(~Ileral propert.ies of a whole planning scenario to be proved as well as pla,lls to he formed deductively. In particular, frame assert.ions and domain cOllst.raillts...
متن کاملA logical framework for temporal deductive databases
Temporal deductive databases are deductive databases with an ability to represent both valid time and transaction time. The work is based on the Event Calculus of Kowalski & Sergot. Event Calculus is a treatment of time, based on the notion of events, in first-order classical logic augmented with negation as failure. It formalizes the semantics of valid time in deductive databases and offers ca...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Management Science
سال: 1997
ISSN: 0025-1909,1526-5501
DOI: 10.1287/mnsc.43.9.1229